منابع مشابه
Unfounded Reports on Thyroid Cancer
which permits unrestricted non-commercial use, distribution, and reproduction in any medium, provided the original work is properly cited. The incidence of thyroid cancer is on the rise in Korea as well as in the rest of the world. This is mainly due to the early detection of papillary thyroid carcinoma (PTC) less than 1 cm in size with a high-resolution ultrasonography (USG). Why is its incide...
متن کاملDisjunctive Stable Models : Unfounded Sets
Disjunctive logic programs have become a powerful tool in knowledge representation and commonsense reasoning. This paper focuses on stable model semantics, currently the most widely acknowledged semantics for disjunctive logic programs. After presenting a new notion of unfounded sets for disjunctive logic programs, we provide two declarative characterizations of stable models in terms of unfoun...
متن کاملLinking unfounded beliefs to genetic dopamine availability
Unfounded convictions involving beliefs in the paranormal, grandiosity ideas or suspicious thoughts are endorsed at varying degrees among the general population. Here, we investigated the neurobiopsychological basis of the observed inter-individual variability in the propensity toward unfounded beliefs. One hundred two healthy individuals were genotyped for four polymorphisms in the COMT gene (...
متن کاملEliminating Unfounded Set Checking for HEX-Programs
HEX-programs are an extension of the Answer Set Programming (ASP) paradigm incorporating external means of computation into the declarative programming language through so-called external atoms. Their semantics is defined in terms of minimal models of the Faber-Leone-Pfeifer (FLP) reduct. Developing native solvers for HEX-programs based on an appropriate notion of unfounded sets has been subjec...
متن کاملApproaching the Core of Unfounded Sets
We elaborate upon techniques for unfounded set computations by building upon the concept of loops. This is driven by the desire to minimize redundant computations in solvers for Answer Set Programming. We begin by investigating the relationship between unfounded sets and loops in the context of partial assignments. In particular, we show that subset-minimal unfounded sets correspond to active e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Deutsches Aerzteblatt Online
سال: 2016
ISSN: 1866-0452
DOI: 10.3238/arztebl.2016.0360b